1. Computability /
پدیدآورنده : George J. Tourlakis
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
2. Computability
پدیدآورنده : Tourllakis, George J.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
T68
1984
3. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
4. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
5. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
6. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
7. Mathematical logic
پدیدآورنده : / George Tourlakis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
T68
2008
8. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
9. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
10. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
11. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68M3
12. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
13. Mathematical logic
پدیدآورنده : George Tourlakis
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Logic, Symbolic and mathematical, Textbooks
رده :
511
,.
3
,.
T68M
,
2008
14. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: Central Library and Documentation Center (Golestan)
موضوع : ، logic, Symbolic and mathematical -- Textbooks
رده :
QA
9
.
T68
15. Theory of Computation
پدیدآورنده : / George Tourlakis
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
